3.2.11 \(\int \frac {(a+b x)^7}{x^5} \, dx\)

Optimal. Leaf size=86 \[ -\frac {a^7}{4 x^4}-\frac {7 a^6 b}{3 x^3}-\frac {21 a^5 b^2}{2 x^2}-\frac {35 a^4 b^3}{x}+35 a^3 b^4 \log (x)+21 a^2 b^5 x+\frac {7}{2} a b^6 x^2+\frac {b^7 x^3}{3} \]

________________________________________________________________________________________

Rubi [A]  time = 0.03, antiderivative size = 86, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {43} \begin {gather*} -\frac {21 a^5 b^2}{2 x^2}-\frac {35 a^4 b^3}{x}+21 a^2 b^5 x+35 a^3 b^4 \log (x)-\frac {7 a^6 b}{3 x^3}-\frac {a^7}{4 x^4}+\frac {7}{2} a b^6 x^2+\frac {b^7 x^3}{3} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*x)^7/x^5,x]

[Out]

-a^7/(4*x^4) - (7*a^6*b)/(3*x^3) - (21*a^5*b^2)/(2*x^2) - (35*a^4*b^3)/x + 21*a^2*b^5*x + (7*a*b^6*x^2)/2 + (b
^7*x^3)/3 + 35*a^3*b^4*Log[x]

Rule 43

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rubi steps

\begin {align*} \int \frac {(a+b x)^7}{x^5} \, dx &=\int \left (21 a^2 b^5+\frac {a^7}{x^5}+\frac {7 a^6 b}{x^4}+\frac {21 a^5 b^2}{x^3}+\frac {35 a^4 b^3}{x^2}+\frac {35 a^3 b^4}{x}+7 a b^6 x+b^7 x^2\right ) \, dx\\ &=-\frac {a^7}{4 x^4}-\frac {7 a^6 b}{3 x^3}-\frac {21 a^5 b^2}{2 x^2}-\frac {35 a^4 b^3}{x}+21 a^2 b^5 x+\frac {7}{2} a b^6 x^2+\frac {b^7 x^3}{3}+35 a^3 b^4 \log (x)\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 86, normalized size = 1.00 \begin {gather*} -\frac {a^7}{4 x^4}-\frac {7 a^6 b}{3 x^3}-\frac {21 a^5 b^2}{2 x^2}-\frac {35 a^4 b^3}{x}+35 a^3 b^4 \log (x)+21 a^2 b^5 x+\frac {7}{2} a b^6 x^2+\frac {b^7 x^3}{3} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*x)^7/x^5,x]

[Out]

-1/4*a^7/x^4 - (7*a^6*b)/(3*x^3) - (21*a^5*b^2)/(2*x^2) - (35*a^4*b^3)/x + 21*a^2*b^5*x + (7*a*b^6*x^2)/2 + (b
^7*x^3)/3 + 35*a^3*b^4*Log[x]

________________________________________________________________________________________

IntegrateAlgebraic [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {(a+b x)^7}{x^5} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

IntegrateAlgebraic[(a + b*x)^7/x^5,x]

[Out]

IntegrateAlgebraic[(a + b*x)^7/x^5, x]

________________________________________________________________________________________

fricas [A]  time = 1.52, size = 81, normalized size = 0.94 \begin {gather*} \frac {4 \, b^{7} x^{7} + 42 \, a b^{6} x^{6} + 252 \, a^{2} b^{5} x^{5} + 420 \, a^{3} b^{4} x^{4} \log \relax (x) - 420 \, a^{4} b^{3} x^{3} - 126 \, a^{5} b^{2} x^{2} - 28 \, a^{6} b x - 3 \, a^{7}}{12 \, x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^7/x^5,x, algorithm="fricas")

[Out]

1/12*(4*b^7*x^7 + 42*a*b^6*x^6 + 252*a^2*b^5*x^5 + 420*a^3*b^4*x^4*log(x) - 420*a^4*b^3*x^3 - 126*a^5*b^2*x^2
- 28*a^6*b*x - 3*a^7)/x^4

________________________________________________________________________________________

giac [A]  time = 1.04, size = 78, normalized size = 0.91 \begin {gather*} \frac {1}{3} \, b^{7} x^{3} + \frac {7}{2} \, a b^{6} x^{2} + 21 \, a^{2} b^{5} x + 35 \, a^{3} b^{4} \log \left ({\left | x \right |}\right ) - \frac {420 \, a^{4} b^{3} x^{3} + 126 \, a^{5} b^{2} x^{2} + 28 \, a^{6} b x + 3 \, a^{7}}{12 \, x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^7/x^5,x, algorithm="giac")

[Out]

1/3*b^7*x^3 + 7/2*a*b^6*x^2 + 21*a^2*b^5*x + 35*a^3*b^4*log(abs(x)) - 1/12*(420*a^4*b^3*x^3 + 126*a^5*b^2*x^2
+ 28*a^6*b*x + 3*a^7)/x^4

________________________________________________________________________________________

maple [A]  time = 0.01, size = 77, normalized size = 0.90 \begin {gather*} \frac {b^{7} x^{3}}{3}+\frac {7 a \,b^{6} x^{2}}{2}+35 a^{3} b^{4} \ln \relax (x )+21 a^{2} b^{5} x -\frac {35 a^{4} b^{3}}{x}-\frac {21 a^{5} b^{2}}{2 x^{2}}-\frac {7 a^{6} b}{3 x^{3}}-\frac {a^{7}}{4 x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b*x+a)^7/x^5,x)

[Out]

-1/4*a^7/x^4-7/3*a^6*b/x^3-21/2*a^5*b^2/x^2-35*a^4*b^3/x+21*a^2*b^5*x+7/2*a*b^6*x^2+1/3*b^7*x^3+35*a^3*b^4*ln(
x)

________________________________________________________________________________________

maxima [A]  time = 1.40, size = 77, normalized size = 0.90 \begin {gather*} \frac {1}{3} \, b^{7} x^{3} + \frac {7}{2} \, a b^{6} x^{2} + 21 \, a^{2} b^{5} x + 35 \, a^{3} b^{4} \log \relax (x) - \frac {420 \, a^{4} b^{3} x^{3} + 126 \, a^{5} b^{2} x^{2} + 28 \, a^{6} b x + 3 \, a^{7}}{12 \, x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^7/x^5,x, algorithm="maxima")

[Out]

1/3*b^7*x^3 + 7/2*a*b^6*x^2 + 21*a^2*b^5*x + 35*a^3*b^4*log(x) - 1/12*(420*a^4*b^3*x^3 + 126*a^5*b^2*x^2 + 28*
a^6*b*x + 3*a^7)/x^4

________________________________________________________________________________________

mupad [B]  time = 0.09, size = 77, normalized size = 0.90 \begin {gather*} \frac {b^7\,x^3}{3}-\frac {\frac {a^7}{4}+\frac {7\,a^6\,b\,x}{3}+\frac {21\,a^5\,b^2\,x^2}{2}+35\,a^4\,b^3\,x^3}{x^4}+21\,a^2\,b^5\,x+\frac {7\,a\,b^6\,x^2}{2}+35\,a^3\,b^4\,\ln \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*x)^7/x^5,x)

[Out]

(b^7*x^3)/3 - (a^7/4 + (21*a^5*b^2*x^2)/2 + 35*a^4*b^3*x^3 + (7*a^6*b*x)/3)/x^4 + 21*a^2*b^5*x + (7*a*b^6*x^2)
/2 + 35*a^3*b^4*log(x)

________________________________________________________________________________________

sympy [A]  time = 0.33, size = 85, normalized size = 0.99 \begin {gather*} 35 a^{3} b^{4} \log {\relax (x )} + 21 a^{2} b^{5} x + \frac {7 a b^{6} x^{2}}{2} + \frac {b^{7} x^{3}}{3} + \frac {- 3 a^{7} - 28 a^{6} b x - 126 a^{5} b^{2} x^{2} - 420 a^{4} b^{3} x^{3}}{12 x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)**7/x**5,x)

[Out]

35*a**3*b**4*log(x) + 21*a**2*b**5*x + 7*a*b**6*x**2/2 + b**7*x**3/3 + (-3*a**7 - 28*a**6*b*x - 126*a**5*b**2*
x**2 - 420*a**4*b**3*x**3)/(12*x**4)

________________________________________________________________________________________